The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
نویسندگان
چکیده
The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous.
منابع مشابه
Microbial Fuel Cell: New Assay for Nutritive Value Determination of Whole Cottonseed Used in Ruminants Nutrition
The aim of this study was to determine the relationship between gas produced through in vitro gas production test and microbial fuel cell (MFC) technique and introduce new assay for evaluation of ruminants feedstuffs. The treatments were 1) control diet (without whole cottonseed, monensin and vitamin E; CD), 2) diet containing 20.00% whole cottonseed (CSD), 3) diet including 20.00% who...
متن کاملPollution reduction and electricity production from dairy industry wastewater with microbial fuel cell
Taguchi L9 orthogonal array was implemented to select optimum values of process parameters and to attain the maximum removal of pollutants and power generation from dairy industry wastewater using double chambered salt bridge microbial fuel cell. The maximum chemical oxygen demand reduction, current, voltage, power, current density and power density in double chambered salt bridge microbial fue...
متن کاملPerformance Prediction of a Flexible Manufacturing System
The present investigation presents a stochastic model for a flexible manufacturing system consisting of flexible machine, loading/unloading robot and an automated pallethandling device. We consider unreliable flexible manufacturing cell (FMC) wherein machine and robot operate under individual as well as common cause random failures. The pallethandling system is completely reliable. The pallet o...
متن کاملPetroleum hydrocarbon assessment in the wastewaters of petrochemical special economic zone and sediment benchmark calculation of the coastal area - northwest of the Persian Gulf
Petrochemical industries can potentially impact the environment due to their activities and products. This case study has considered adverse effects of petrochemical industries that are located inside the PETZONE with respect to the presence of polycyclic aromatic hydrocarbons and total petroleum hydrocarbon in wastewater effluents. The average concentrations of ∑PAHs group I and II were lower ...
متن کامل